x86: Simplify tsc_set_info() slightly -- no domain has id DOMID_INVALID.
authorKeir Fraser <keir@xen.org>
Thu, 9 Dec 2010 09:57:08 +0000 (09:57 +0000)
committerKeir Fraser <keir@xen.org>
Thu, 9 Dec 2010 09:57:08 +0000 (09:57 +0000)
commit805a1afca3928a9ad96f67e797ff1e5003380ef8
tree08306c8b5a9df946610ac018df2c95ac86ae5f63
parent73c602edff0024f5f4b27d3e3d0a7fcf724083f3
x86: Simplify tsc_set_info() slightly -- no domain has id DOMID_INVALID.

Signed-off-by: Keir Fraser <keir@xen.org>
xen/arch/x86/time.c